Compiler optimizations

Results: 530



#Item
231Interpretation / Global value numbering / Logic / Computing / Linguistics / Compiler construction / Static single assignment form / Compiler optimizations

Formal Verification of SSA-Based Optimizations for LLVM Jianzhou Zhao Santosh Nagarakatte† Milo M. K. Martin

Add to Reading List

Source URL: www.cis.upenn.edu

Language: English - Date: 2013-05-14 14:42:45
232Compiler optimizations / Parallel computing / Thread / Scalability / Scale / Central processing unit / Basic block / Computing / Computer programming / System software

Parallel Scaling Properties from a Basic Block View Melanie Kambadur Kui Tang Joshua Lopez

Add to Reading List

Source URL: arcade.cs.columbia.edu

Language: English - Date: 2014-06-08 14:34:09
233Parallel computing / Application programming interfaces / Fortran / OpenMP / Compiler optimizations / Lis / Automatic parallelization tool / Automatic parallelization / Computing / Software / Computer programming

A CFD program package written in Fortran77 has been parallelized in order to allow larger simulations

Add to Reading List

Source URL: www.compunity.org

Language: English - Date: 2007-10-15 03:41:05
234Compiler optimizations / Subroutines / Inline expansion / Variance / Cycle detection / Static single assignment form / Algorithm / Loop unwinding / Operand / Computer programming / Software engineering / Computing

Fast and Effective Procedure Inlining∗ Indiana University Computer Science Department Technical Report No. 484 Oscar Waddell and R. Kent Dybvig Indiana University Computer Science Department

Add to Reading List

Source URL: www.cs.indiana.edu

Language: English - Date: 2004-05-15 12:26:24
235Parallel computing / Application programming interfaces / Numerical software / Fortran / OpenMP / Compiler optimizations / Message Passing Interface / Automatic parallelization / Lis / Computing / Software / Computer programming

Intervals and OpenMP: Towards an Efficient Parallel Result-Verifying Nonlinear Solver? Thomas Beelitz1 , Christian H. Bischof2 , and Bruno Lang1 1 2

Add to Reading List

Source URL: www.compunity.org

Language: English - Date: 2007-10-15 03:41:04
236Compiler construction / Compiler optimizations / Program analysis / Procedural programming languages / Compiler / Static single assignment form / GNU Compiler Collection / Algorithm / Register allocation / Software / Computing / Programming language implementation

Published in the Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, Vancouver 2000, pages 83–95 Translation Validation for an Optimizing Compiler George C. Necula University o

Add to Reading List

Source URL: www.cs.berkeley.edu

Language: English - Date: 2010-10-29 12:59:25
237Compiler optimizations / Compiler construction / Programming language implementation / Racket / Just-in-time compilation / PyPy / Continuation / Loop optimization / Static single assignment form / Software engineering / Computing / Software

Pycket: A Tracing JIT For a Functional Language Spenser Bauman a Carl Friedrich Bolz b Robert Hirschfeld c Vasily Kirilichev c Tobias Pape c

Add to Reading List

Source URL: homes.soic.indiana.edu

Language: English - Date: 2015-02-28 14:55:07
238Computer hardware / Computer programming / CPU cache / Loop nest optimization / Cache / Memory hierarchy / Software pipelining / Lookup table / Acumem SlowSpotter / Computing / Computer memory / Compiler optimizations

Design and Evaluation of a Compiler Algorithm for Prefetching Todd C. Mowry, Monica S. Lam and Anoop Gupta Computer Systems Laboratory Stanford University, CA 94305

Add to Reading List

Source URL: www-suif.stanford.edu

Language: English - Date: 2006-06-25 21:11:32
239Compiler optimizations / Central processing unit / Computer memory / Parallel computing / Application programming interfaces / Message Passing Interface / CPU cache / Automatically Tuned Linear Algebra Software / MPICH / Computing / Computer programming / Software engineering

Improving the Performance of MPI Derived Datatypes by Optimizing Memory-Access Cost Surendra Byna† † William Gropp‡

Add to Reading List

Source URL: www.mcs.anl.gov

Language: English - Date: 2003-10-22 17:22:49
240Compiler construction / Compilers / GNU Compiler Collection / Static single assignment form / Graphite / Open64 / Aliasing / Compiler / Software / Programming language implementation / Computing

GRAPHITE: Polyhedral Analyses and Optimizations for GCC Sebastian Pop 1 , Albert Cohen 2 , C´edric Bastoul 2, Sylvain Girbal 2 , Georges-Andr´e Silber 1 , Nicolas Vasilache

Add to Reading List

Source URL: www.cri.ensmp.fr

Language: English - Date: 2006-07-31 09:58:22
UPDATE